780 research outputs found
Approximating Smallest Containers for Packing Three-dimensional Convex Objects
We investigate the problem of computing a minimal-volume container for the
non-overlapping packing of a given set of three-dimensional convex objects.
Already the simplest versions of the problem are NP-hard so that we cannot
expect to find exact polynomial time algorithms. We give constant ratio
approximation algorithms for packing axis-parallel (rectangular) cuboids under
translation into an axis-parallel (rectangular) cuboid as container, for
cuboids under rigid motions into an axis-parallel cuboid or into an arbitrary
convex container, and for packing convex polyhedra under rigid motions into an
axis-parallel cuboid or arbitrary convex container. This work gives the first
approximability results for the computation of minimal volume containers for
the objects described
Probabilistic Matching of Planar Regions
We analyze a probabilistic algorithm for matching shapes modeled by planar
regions under translations and rigid motions (rotation and translation). Given
shapes and , the algorithm computes a transformation such that with
high probability the area of overlap of and is close to maximal. In
the case of polygons, we give a time bound that does not depend significantly
on the number of vertices
matching, interpolation, and approximation ; a survey
In this survey we consider geometric techniques which have been used to
measure the similarity or distance between shapes, as well as to approximate
shapes, or interpolate between shapes. Shape is a modality which plays a key
role in many disciplines, ranging from computer vision to molecular biology.
We focus on algorithmic techniques based on computational geometry that have
been developed for shape matching, simplification, and morphing
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to
be Hamiltonian. This condition is most easily described as a property of the
dual graph. Let be a planar triangulation. Then the dual is a cubic
3-connected planar graph, and is bipartite if and only if is
Eulerian. We prove that if the vertices of are (improperly) coloured blue
and red, such that the blue vertices cover the faces of , there is no blue
cycle, and every red cycle contains a vertex of degree at most 4, then is
Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if
is an Eulerian planar triangulation, whose vertices are properly coloured
blue, red and green, such that every red-green cycle contains a vertex of
degree 4, then is Hamiltonian. Our final result highlights the
limitations of using a proper colouring of as a starting point for proving
Barnette's Conjecture. We also explain related results on Barnette's Conjecture
that were obtained by Kelmans and for which detailed self-contained proofs have
not been published.Comment: 12 pages, 7 figure
On the number of simple cycles in planar graphs
Let CG denote the number of simple cycles of a graph G and let Cn be the maximum of CG over all planar graphs with n nodes We present a lower bound on Cn constructing graphs with at least n cycles Applying some probabilistic arguments we prove an upper bound of n We also discuss this question restricted to the subclasses of grid graphs bipartite graphs and of colorable triangulated graph
A lower bound for the complexity of the union-split-find problem
We prove a Theta(loglog n) (i.e. matching upper and lower) bound on the complexity of the Union-Split-Find problem, a variant of the Union-Find problem. Our lower bound holds for all pointer machine algorithms and does not require the separation assumption used in the lower bound arguments of Tarjan [T79] and Blum [B86]. We complement this with a Theta(log n) bound for the Split-Find problem under the separation assumption. This shows that the separation assumption can imply an exponential loss in efficiency
- âŠ